Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
961	FRAIGs: A Unifying Representation for Logic Synthesis and Verification Alan Mishchenko, Satrajit Chatterjee, Roland Jiang, Robert Brayton Department of EECS, University of California, Berkeley {alanmi, satrajit, jiejiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-01 15:19:32 Boolean algebra Diagrams Digital electronics And-inverter graph Binary decision diagram Logic optimization Model checking Boolean function Logic synthesis Electronic engineering Electronic design automation Formal methods
962	CONSUMABLES COLOUR INKJET MULTI-FUNCTION CENTRES Model Consumables DCP-110C, DCP-115C, DCP-120C, MFC-210C, MFC-215C, MFC-3240C,MFC410CN, MFC-425CN, MFC-5440CN, MFC-5840CN, MFC-620CN, MFCLC-47BK 640CW Add to Reading List Source URL: www.c2ocorp.com Language: English - Date: 2013-12-05 22:53:03 Media technology Fax Laser printer Toner Office equipment Technology Computer printers
963	Solving the Incomplete Markets Model with Aggregate Uncertainty using Explicit Aggregation Wouter J. DEN HAAN and Pontus RENDAHLyz July 13, 2009 Abstract Add to Reading List Source URL: wouterdenhaan.com Language: English - Date: 2011-07-21 02:26:04 Function Spline Invariant theory Symmetric functions Mathematics Interpolation Polynomial
964	Loss of function of cinnamyl alcohol dehydrogenase 1 leads to unconventional lignin and a temperaturesensitive growth defect in Medicago truncatula Qiao Zhaoa, Yuki Tobimatsub,c, Rui Zhoua,1, Sivakumar Pattathild,e, Lina Add to Reading List Source URL: bioenergycenter.org Language: English - Date: 2013-07-30 13:16:33 Model organisms Phenols Papermaking Monolignols Aldehydes Lignin Medicago truncatula Sinapyl alcohol Medicago Biology Chemistry Phenylpropanoids
965	Solving the Incomplete Markets Model With Aggregate Uncertainty by Backward Induction∗ Michael Reiter Institute for Advanced Studies, Vienna this version: September 17, 2008 Add to Reading List Source URL: elaine.ihs.ac.at Language: English - Date: 2008-12-01 04:19:20 Calculus Continuous function Distribution Function Mathematical analysis Mathematics Generalized functions
966	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
967	Instance Chains: Type Class Programming Without Overlapping Instances J. Garrett Morris Mark P. Jones Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-08-03 11:56:21 Computing Data types Functional languages Model theory Functional programming Type class Function Type system Tagged union Software engineering Type theory Programming language theory
968	Submodularity of Infuence in Social arXiv:math/0612046v2 [math.PR] 28 Jul 2009 Networks: From Local to Global ∗ Elchanan Mossel†and Sebastien Roch‡ Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2011-11-19 02:38:55 Order theory Network theory Networks Real analysis Monotonic function Model theory Centrality Mathematical analysis Mathematics Submodular set function
969	NOTES ON O-MINIMALITY SERGEI STARCHENKO 1 C ONTENTS Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-01-20 10:53:16 O-minimal theory Definable set Strongly minimal theory Structure Continuous function Function Open set Weakly o-minimal structure Definable real number Mathematics Model theory Mathematical logic
970	Reasoning about Joint Action and Coalitional Ability in Kn with Intersection 1 ˚ Thomas Agotnes and Natasha Alechina2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:39:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Function Constructible universe Linear temporal logic Μ operator Mathematics Logic Mathematical logic

UPDATE